Model engineering - PDFSEARCH.IO - Document Search Engine

Model engineering
Results: 11341

#	Item
321	Topographic Data Dictionary NSW Topographic Data Model No: 8 Add to Reading List Source URL: spatialservices.finance.nsw.gov.au Language: English - Date: 2015-04-28 19:35:37 Null Computing Software engineering Const Software C
322	2009 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises Towards a Framework for Distributed and Collaborative Modeling∗ Antonio Cicchetti School of Innovation, De Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Software engineering Computing Unified Modeling Language Software ISO standards Systems engineering Integrated development environments Architecture description language XML Metadata Interchange Object Process Methodology Conceptual model MagicDraw
323	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable 1.3.A-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Software engineering Formal methods Computing Theoretical computer science Software testing Software quality Logic in computer science Software verification Formal verification Runtime verification Model checking Reliability engineering
324	SmartSoft SmartMDSD Open Source Integrated Model-Driven Development Environment for Robotics Software Add to Reading List Source URL: www.servicerobotik-ulm.de Language: English - Date: 2016-01-13 04:09:47 Computing Software engineering Software architecture Toolchain ARC Component-based software engineering Software development
325	© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new Add to Reading List Source URL: www.eeh.ee.ethz.ch Language: English - Date: 2015-12-22 08:58:47 Chemistry Computational science Building engineering Nature Control theory Cybernetics Model predictive control Power system simulation HVAC Mathematical optimization Constraint algorithm Heat transfer
326	Design of Parallel and High-Performance Computing Fall 2013 Lecture: Linearizability Instructor: Torsten Hoefler & Markus Püschel Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-26 16:22:37 Computing Computer architecture Software engineering Computer memory Transaction processing Concurrency Compiler construction Linearizability Memory ordering Consistency model Cache coherence Sequential consistency
327	POOL PUMP REBATE Replaced Pool Pump Information (continued): Manufacturer: Model #: Add to Reading List Source URL: www.efficiencyvermont.com Language: English - Date: 2016-05-03 08:33:13 Rebate Sales promotion Pump Heating ventilating and air conditioning Building engineering Energy conversion Solar hot water in Australia
328	Coordinated Concurrent Programming in Syndicate Tony Garnock-Jones and Matthias Felleisen Northeastern University, Boston, Massachusetts, USA Abstract. Most programs interact with the world: via graphical user interfaces Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2016-08-18 19:18:36 Computer programming Software engineering Computing Actor model Concurrent computing Assertion
329	Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent Nimal Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Theoretical computer science Formal methods Systems engineering Software Logic in computer science Software testing Formal verification Functional verification Verification and validation Verification Model checking
330	Microsoft Word - IJIMA03-02.docx Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:39:30 Computing Data modeling Software engineering Technology Scientific modeling Product development Standards Modeling language Data model Software development process Software development Information model

UPDATE